Deep inference

#	Item
51	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
52	Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2004-03-12 06:11:33 Propositional calculus Logical syntax Inference Logical truth Natural deduction Sequent calculus First-order logic Rule of inference Sequent Logic Mathematical logic Proof theory